sequent-like tableau system